Base change along the Frobenius endomorphism and the Gorenstein property

Let R be a local ring of positive characteristic and X complex with nonzero finitely generated homology finite injective dimension. We prove that if the derived base change via Frobenius (or more generally, contracting) endomorphism has dimension then is Gorenstein. In particular, we give an affirmative answer to question by Falahola Marley [7, Question 3.9].